Aluminum: Principled Scenario Exploration through Minimality Tim Nelson1 , Salman Saghafi1 , Daniel J. Dougherty1 , Kathi Fisler1 , Shriram Krishnamurthi2 1 Department of Computer Science

Source URL: web.cs.wpi.edu

• Logic programming
• Alloy Analyzer
• Massachusetts Institute of Technology
• Relational algebra
• Circumscription
• Relational model
• Alloy
• Scenario
• Tuple

N. Kobayashi and B. C. Pierce (Eds): Fourth International Symposium on Theoretical Aspects of Computer Software (TACS2001), LNCS Vol. 2215, pp. 219–242, 2001. c Springer-Verlag Berlin Heidelberg 2001 Nominal Logic:

Source URL: www.cl.cam.ac.uk

• Model theory
• Automated theorem proving
• Logic programming
• First-order logic
• Predicate logic
• Symbol
• Substitution
• Constructible universe
• Interpretation

XI. Logic Model Chart Project Resources Core Project Components Evidence of Project Implementation and Participation Evidence of Change INPUTS

Source URL: kanserve.org

The complexity of positive first-order logic without equality Florent Madelaine Univ Clermont1, EA2146, Laboratoire d’algorithmique et d’image de Clermont-Ferrand, Aubi`ere, F-63170, France. Barnaby Martin ´Equipe d

Source URL: www.fields.utoronto.ca

• Functional analysis
• Lemmas
• Symbol
• FO
• IP
• Dual space
• Craig interpolation
• Model theory
• Linear temporal logic

LNCSLongest Motifs with a Functionally Equivalent Central Block

Source URL: pbil.univ-lyon1.fr

• Logic in computer science
• FO
• Finite model theory
• Combinatory logic
• Formal languages
• Planted motif search

Low-level dichotomy for Quantified Constraint Satisfaction Problems Barnaby Martin 1 School of Engineering and Computing Sciences, Durham University, Science Labs, South Road, Durham DH1 3LE, U.K.

Source URL: www.bedewell.com

• Model theory
• Constraint programming
• Logical truth
• Mathematical logic
• Formal languages
• Structure
• Interpretation
• Satisfiability
• Substitution
• Constraint satisfaction problem
• Complexity of constraint satisfaction
• Boolean satisfiability problem

te A Stitch in Time? aims to evidence the contribution of the third sector to the Reshaping C are for Older People agenda. Hello <>

Source URL: www.evaluationsupportscotland.org.uk

• Logic model
• Emotion

PASS LOCATION TO FACILITATE THE DIRECT EXTRACTION OF WARNTZ NETWORKS FROM GRID DIGITAL ELEVATION MODELS David Wilcox and Harold Moellering Department of Geography Ohio State University

Source URL: mapcontext.com

• Cartography
• Algorithm
• Mathematical logic
• Theoretical computer science
• Robert Haralick
• Digital elevation model

Position paper on Usable Verification Saddek Bensalem Joseph Sifakis Verimag Laboratory, Universit´e Joseph Fourier Grenoble, CNRS

Source URL: fm.csl.sri.com

• Formal methods
• NuSMV
• Logic in computer science
• Model checking
• Formal verification
• Invariant

STABLE CANONICAL RULES GURAM BEZHANISHVILI, NICK BEZHANISHVILI, ROSALIE IEMHOFF Abstract. We introduce stable canonical rules and prove that each normal modal rule system is axiomatizable by stable canonical rules. This

Source URL: www.phil.uu.nl

• Modal logic
• Non-classical logic
• Model theory
• Boolean algebra
• Philosophical logic
• Kripke semantics
• Interior algebra
• Heyting algebra
• Embedding
• Intermediate logic
• Normal modal logic
• Substitution